computability logic中文是什么意思

發(fā)音:

中文翻譯
造句

可計算性邏輯

logic n. 1.邏輯，理論學。 2.推理[方法]；邏輯性，條理 ...
computability 可計算性; 可算性
abacus computability 算盤可計算性
characterization of computability 可計算性刻劃
computability theory 可計算性理論
feasible computability 可行計算性; 可行可計算性
partial computability 部分可計算性
practical computability 實用可計算性
turing computability 圖靈機可計算性
equivalent definitions of computability 可計算性的等價定義
-logic -logic, -logical 〔構(gòu)成與 -logy 結(jié)尾的名詞相應的形容詞〕表示“…學的”： biological, philological.
and logic “與”邏輯
logic n. 1.邏輯，理論學。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓力，強制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強盜邏輯，惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭]的強制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
logic-and 邏輯“與”
or logic 或邏輯
active logic 有源邏輯
actuating logic 執(zhí)行邏輯
adaptive logic 適應性邏輯（電腦）; 自適應邏輯
affective logic 情感邏輯
algebra and logic 代數(shù)與邏輯
algebra of logic 邏輯代數(shù)
algebraic logic 代數(shù)邏輯
algorithm logic 運算邏輯
algorithmic logic 算法邏輯
alternating logic 交替邏輯

"查查詞典"手機版

千萬人都在用的超大詞匯詞典翻譯APP

百科解釋

Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of proof. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".

詳細百科解釋

推薦英語閱讀

computability logic的中文翻譯，computability logic是什么意思，怎么用漢語翻譯computability logic，computability logic的中文意思，computability logic的中文，computability logic in Chinese，computability logic的中文，computability logic怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。